Computer aided verification - 11th international conference, CAV'99 Trento, Italy, July 6-10, 1999 : proceedings
- Författare
- Nicolas Halbwachs Doron Peled International Conference on Computer Aided Verification 1999) Trento :
- (Nicholas Halbwachs, Doron Peled (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1999 | Tyskland, Berlin | 506 sidor. |